convert avi to mp4 by using vlc media player